ModelChecking相关论文
首先,建立具有良好描述性和操作性的脆弱性模型.这个模型除了用于总结、帮助理解已知脆弱性的特征和性质外,更重要地是为建立脆弱......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
